Nuprl Definition : priority-select
11,40
postcript
pdf
priority-select(
f
;
g
;
as
)
== list_accum(
x
,
m
.if isl(
x
) then
x
if
f
(
m
) then inl tt if
g
(
m
) then inl ff else
x
fi ;
== list_accum(
(inr
);
== list_accum(
as
)
latex
Definitions
priority-select(
f
;
g
;
as
)
,
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
,
isl(
x
)
,
tt
,
if
b
then
t
else
f
fi
,
ff
,
FDL editor aliases
priority-select
origin
);